#include <bits/stdc++.h>
using namespace std;

int main() {

  int s1 = 0, s2 = 0, s3 = 0, s4 = 0, s5 = 0;
  for (int i = 1; i <= 3; i++) {
    int k;
    cin >> k;
    if (k >= 85)
      s1++;
    else if (k >= 45)
      s2++;
    else if (k >= 25)
      s3++;
    else if (k >= 1)
      s4++;
    else if (k == 0)
      s5++;
  }

  if (s2 == 1 && s3 == 1 && s4 == 1 
     || s1 == 1 && s2 == 1 && s3 == 1 
      || s1 == 2 && s2 == 1 
      || s1 == 2 && s3 == 1 
      || s1 == 3) {
    cout << "Yes";
  } else {
    cout << "No";
  }

  return 0;
}